INTONATION___kserv.krldysh.ru___194.226.57.53___20070417-154636() {
    ## JACKLADDER Version:2.0 OS:hppa1.1-hp-hpux10.20 
    export CV="NOT KEYED"
}
